package pico.picoScannerParser;

/**
 * Interface to determine the kind of the pico Token.
 * 
 * @author Bart Wentink and Sander Meijer
 */
public interface PicoTokenKinds {

	public static final String LP = "(";
	public static final String RP = ")";
	public static final String IF = "IF";
	public static final String FI = "FI";
	public static final String DO = "DO";
	public static final String OD = "OD";
	public static final String P_CONSTANT = "P_CONSTANT";
	public static final String P_IDENTIFIER = "P_IDENTIFIER";
	public static final String EOG = "EOG";
	public static final String END = "END";
	public static final String INT = "INT";
	public static final String BOOL = "BOOL";
	public static final String ELSE = "ELSE";
	public static final String THEN = "THEN";
	public static final String PRINT = "PRINT";
	public static final String BEGIN = "BEGIN";
	public static final String EMPTY = "EMPTY";
	public static final String IS = "=";
	public static final String INITMARK = ":";
	public static final String SEPERATOR = ",";
	public static final String PLUS = "+";
	public static final String TIMES = "*";
}
